predicate calculus based method中文是什么意思

• 基于谓词演算的方法

• "predicate"中文翻译    n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项 ...
• "calculus"中文翻译    n. (pl. calculuses, -li ) 1. ...
• "base"中文翻译    adj. 1.贱的，劣的；卑下的，低级的；卑鄙的。 2. ...
• "method"中文翻译    n. 1.方法，方式；顺序。 2.(思想、言谈上的)条理 ...
• "predicate calculus" 中文翻译 :    述词计算; 谓词演算
• "connective in predicate calculus" 中文翻译 :    谓词演算中的连接词
• "extended predicate calculus" 中文翻译 :    广义谓词演算
• "first order predicate calculus" 中文翻译 :    一阶谓词演算
• "first-order predicate calculus" 中文翻译 :    一阶谓词演算
• "high-order predicate calculus" 中文翻译 :    高阶谓词演算
• "higher order predicate calculus" 中文翻译 :    高阶谓词演算
• "higher-order predicate calculus" 中文翻译 :    高阶谓词演算
• "monadic predicate calculus" 中文翻译 :    一元逻辑; 一元谓词逻辑; 一元谓词演算
• "one place predicate calculus" 中文翻译 :    一元谓词演算
• "predicate calculus language" 中文翻译 :    谓词演算语言
• "predicate calculus of the third order" 中文翻译 :    三阶谓词演算
• "predicate calculus with identity" 中文翻译 :    带恒等式的谓词演算
• "restricted predicate calculus" 中文翻译 :    狭谓词演算
• "second-order predicate calculus" 中文翻译 :    二阶谓词演算
• "unary predicate calculus" 中文翻译 :    一元谓词演算
• "pure predicate calculus of first order" 中文翻译 :    一阶纯谓词演算
• "calculus of probability method" 中文翻译 :    概率计算法
• "operational calculus method" 中文翻译 :    运算微积法
• "predicate" 中文翻译 :    n. 1.【语法】谓语，述语。 2.【逻辑学】谓项，述项，述词，宾词。 3.本质；属性。 adj. 谓语的，述语的；谓项的，述项的。 vt. 1.论断，断言；断定…为某物的属性；断定某物有…的属性 (about; of)。 2.〔美国〕使(声明、行动等)依据于 (on; upon), 使基于。 3.宣言，宣布，声明。 4.意味着，具有…的含义。 5.【语法】表述。 vi. 断言 (of)。 Can anything be predicated about a non-existent thing 能够表述不存在的东西吗？ (We) predicate of the motive that it is good. (我们)断言这个动机是好的。
• "predicate of" 中文翻译 :    n变元谓词; 变项谓词